operational semantics - Espagnol Anglais Dictionnaire